Auflistung nach Schlagwort "Real time systems"

Sortiert nach: Sortierung: Ergebnisse:

  • The Complexity of Satisfiability for Fragments of CTL and CTL⋆ 
    Meier, Arne; Mundhenk, Martin; Thomas, Michael; Vollmer, Heribert (Amsterdam : Elsevier BV, 2008)
    The satisfiability problems for CTL and CTL⋆ are known to be EXPTIME-complete, resp. 2EXPTIME-complete (Fischer and Ladner (1979), Vardi and Stockmeyer (1985)). For fragments that use less temporal or propositional operators, ...
  • Crowd of oz : A crowd-powered social robotics system for stress management 
    Abbas, Tahir; Khan, Vassilis Javed; Gadiraju, Ujwal; Barakova, Emilia; Markopoulos, Panos (Basel : MDPI AG, 2020)
    Coping with stress is crucial for a healthy lifestyle. In the past, a great deal of research has been conducted to use socially assistive robots as a therapy to alleviate stress and anxiety related problems. However, ...
  • Rapidmap - Rapid mapping and information dissemination for disasters using remote sensing and geoinformation 
    Baltsavias, E.; Cho, K.; Remondino, F.; Sörgel, Uwe; Wakabayashi, H. (Göttingen : Copernicus GmbH, 2013)
    This paper will present the project RAPIDMAP. The project is part of CONCERT-Japan, an ERA-NET initiative funded through the FP7 INCO project frame for enhancing research cooperation between European countries and Japan ...
  • The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments 
    Bauland, Michael; Mundhenk, Martin; Schneider, Thomas; Schnoor, Henning; Schnoor, Ilka; Vollmer, Heribert (Amsterdam : Elsevier, 2009)
    In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the set of temporal operators used. If, in ...